Transition
0 HH HM HL 0 0 0 0 0 0 0 0 0
0 0 0 0 MM ML 0 0 0 0 0 0 0
0 0 0 0 0 0 MH ML 0 0 0 0 0
0 0 0 0 0 0 0 0 MH MM 0 0 0
0 0 0 0 0 0 0 0 0 0 LL 0 0
0 0 0 0 0 0 0 0 0 0 LM 0 0
0 0 0 0 0 0 0 0 0 0 LL 0 0
0 0 0 0 0 0 0 0 0 0 0 LH 0
0 0 0 0 0 0 0 0 0 0 0 0 LM
0 0 0 0 0 0 0 0 0 0 LH 0 0
0 0 0 0 0 0 0 0 0 0 * 0 0
0 0 0 0 0 0 0 0 0 0 0 * 0
0 0 0 0 0 0 0 0 0 0 0 0 *
Name_State
s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 tie winK winT
Initial_State
s0
Atomic_propositions
kingwin tianjiwin tie kingnotwin tianjinotwin
Labelling
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 0 1 1
0 0 1 1 1
1 0 0 0 1
0 1 0 1 0
Number_of_agents
2
